Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
441	JOURNAL OF COMPUTATIONAL PHYSICS ARTICLE NO. 134, 169–[removed]CP975682 Add to Reading List Source URL: users.cms.caltech.edu Language: English - Date: 2004-02-25 18:26:15 Partial differential equations Numerical analysis Functional analysis Multivariable calculus Multigrid method Calculus of variations Distribution Finite difference Discretization Mathematical analysis Mathematics Calculus
442	Adjoint-Based Optimal Control of the Expected Exit Time for Stochastic Hybrid Systems Robin L. Raﬀard1 , Jianghai Hu2 , and Claire J. Tomlin1 1 2 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2007-01-10 20:23:00 Functional analysis Multivariable calculus Partial differential equation Optimal control Ergodic theory Sheaf Distribution Differential equation Sturm–Liouville theory Mathematical analysis Calculus Mathematics
443	The Haskell Road to Logic, Math and Programming Kees Doets and Jan van Eijck March 4, 2004 Add to Reading List Source URL: fldit-www.cs.uni-dortmund.de Language: English - Date: 2010-09-15 08:29:04 Mathematical logic Theoretical computer science Functional programming Self-reference Category theory Haskell Logic Lambda calculus Mathematical proof Mathematics Software engineering Computing
444	A Notation for Comonads Dominic Orchard and Alan Mycroft Computer Laboratory, University of Cambridge {firstname}.{lastname}@cl.cam.ac.uk Author’s copy. To appear in LNCS volume of the post-proceedings of IFL’12. Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-03-19 05:47:49 Computing Functional programming Monad Valuation Lambda calculus ALGOL 68 Function Mathematics Adjoint functors Software engineering
445	Mathematics and Computers in Simulation[removed]–66 Analysis and optimization of inner products for mimetic finite difference methods on a triangular grid Richard Liska a,∗ , Mikhail Shashkov b , Victor Ganzha c Add to Reading List Source URL: cnls.lanl.gov Language: English - Date: 2014-09-24 19:03:52 Vector calculus Linear algebra Differential calculus Multivariable calculus Functional analysis Gradient Normal Inner product space Partial differential equation Algebra Mathematics Mathematical analysis
446	NOTES ON COMPUTATIONAL HOMOLOGY ??? Abstract. We work out some details of algorithms for computing homology, persistent or otherwise. 1. Persistent homology Add to Reading List Source URL: www.binarybottle.com Language: English - Date: 2014-04-07 13:28:23 Linear algebra Holomorphic functional calculus Symbol Mathematics Matrix theory Functional analysis
447	PDF Document Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2013-12-02 07:05:56 Ordinary differential equations Spectral theory Functional analysis Mathematics Calculus of variations Mathematical analysis Operator theory
448	PDF Document Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2013-12-02 07:05:40 Convergence Mathematical series Calculus Topology Series Limit superior and limit inferior Orlicz–Pettis theorem Sequence space Banach limit Mathematical analysis Mathematics Functional analysis
449	PDF Document Add to Reading List Source URL: www.ias.ac.in Language: English - Date: 2013-12-02 07:05:42 Mathematics Spectral theory Symbol Holomorphic functional calculus Model theory Structure Universal algebra
450	10 The Essence of ML Type Inference François Pottier and Didier Rémy 10.1 Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2005-07-01 08:54:05 Type theory Functional languages Lambda calculus Procedural programming languages Logic in computer science ML Type system Operational semantics Combinatory logic Software engineering Programming language theory Computing

UPDATE